Lecturer Position in Publishing @ SFU 5 feb ruaryThe review of applications will begin March 5, 2015 and will continue until the position is filled. To ensure full

Source URL: publishing.sfu.ca

• Simon Fraser University
• The Faculty of Communication
• Art and Technology at Simon Fraser University
• Knowledge
• Professor
• Graphic design
• Education
• Academia
• Association of Commonwealth Universities

1 Publishing Program Faculty of Communication, Art and Technology SFU Vancouver, 515 West Hastings Street, Office 3576 Tel: Fax:

Source URL: publishing.sfu.ca

• Association of Commonwealth Universities
• Great Northwest Athletic Conference
• Simon Fraser University
• Professor
• Tutorial
• Education
• Academia
• Knowledge

On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6

Source URL: www.cs.sfu.ca

• Philosophical logic
• Reasoning
• Binary operations
• Default logic
• Non-monotonic logic
• Inference
• Entailment
• Material conditional
• Monotonicity of entailment
• Logic
• Logical consequence
• Non-classical logic

Programmatic access for Altmetrics Scott Chamberlain (@recology_) rOpenSci / Simon Fraser University Find this talk here http://bit.ly/roalm Made with Slidify; the code here

Source URL: article-level-metrics.plos.org

• Application programming interface
• Computing
• Technology
• Ajax
• JSON
• JavaScript

Extending Interface Practice: An Ecosystem Approach Natalie Jeremijenko Thecla Schiphorst Yale Univ Faculty Simon Fraser Univ of Engineering Interactive Arts

Source URL: ecologylab.net

• Software
• Human communication
• User interfaces
• Mixed reality
• Industrial design
• User interface
• Tangible user interface
• Human–computer interaction
• Interactive art
• User interface techniques
• Human–computer interaction
• Visual arts

A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming James P. Delgrande, Torsten Grote, and Aaron Hunter School of Computing Science, Simon Fraser University,

Source URL: www.cs.sfu.ca

• Information
• Needham–Schroeder protocol
• Cryptographic nonce
• Challenge-response authentication
• Burrows–Abadi–Needham logic
• Communications protocol
• Public-key cryptography
• Transmission Control Protocol
• Otway–Rees protocol
• Cryptographic protocols
• Data
• Cryptography

Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada

Source URL: www.cs.sfu.ca

• Belief revision
• Knowledge representation
• Μ operator
• Modal logic
• Multiplicative order
• Proposition
• Linear temporal logic
• Logic
• Science
• Modular arithmetic

Revising by an Inconsistent Set of Formulas James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada

Source URL: www.cs.sfu.ca

• Philosophical logic
• Philosophy of language
• Model theory
• Belief revision
• Entailment
• Interpretation
• Constructible universe
• Function
• Logical connective
• Logic
• Logical syntax
• Propositional calculus

An Action Description Language for Iterated Belief Change Aaron Hunter and James P. Delgrande Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca

Source URL: www.cs.sfu.ca

Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C.

Source URL: www.cs.sfu.ca

• Logic programming
• Science
• Reasoning
• Knowledge representation
• Default logic
• Non-monotonic logic
• Inference
• Circumscription
• Nixon diamond
• Logic
• Non-classical logic
• Mathematical logic